Traditional Logic and Computational Thinking
نویسندگان
چکیده
In this contribution, we try to show that traditional Aristotelian logic can be useful (in a non-trivial way) for computational thinking. To achieve objective, argue in favor of two statements: (i) is not classical and (ii) programming emanating from programming.
منابع مشابه
The AProS Project: Strategic Thinking & Computational Logic
The paper discusses tools for teaching logic used in Logic & Proofs, a web-based introduction to modern logic that has been taken by more than 1,300 students since the fall of 2003. The tools include a wide array of interactive learning environments or cognitive mini-tutors; most important among them is the Carnegie Proof Lab. The Proof Lab is a sophisticated interface for constructing natural ...
متن کاملThe AProS Project: Strategic Thinking & Computational Logic
The paper discusses tools for teaching logic used in Logic & Proofs, a web-based introduction to modern logic that has been taken by more than 1,300 students since the fall of 2003. The tools include a wide array of interactive learning environments or cognitive mini-tutors; most important among them is the Carnegie Proof Lab. The Proof Lab is a sophisticated interface for constructing natural ...
متن کاملComputational thinking and thinking about computing
Computational thinking will influence everyone in every field of endeavour. This vision poses a new educational challenge for our society, especially for our children. In thinking about computing, we need to be attuned to the three drivers of our field: science, technology and society. Accelerating technological advances and monumental societal demands force us to revisit the most basic scienti...
متن کاملComputational Thinking … and Doing
A t our most recent CiSE meeting, one of the board members approached me during a short break and asked: " Why do you do this? you seem to have better things to do. " seeking clarification , i came to understand that he Was Wondering Why a computer scientist such as myself would want to be on the editorial board of a publication that isn't necessarily focused on the " tradition " of computer sc...
متن کاملComputation and Computational Thinking
ion of reality in such a way that the neglected details in the model make it executable by a machine.” [2] As we shall see, finding or devising appropriate models of computation to formulate problems is a central and often nontrivial part of computational thinking.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophies
سال: 2021
ISSN: ['2409-9287']
DOI: https://doi.org/10.3390/philosophies6010012